A => Writer[B]